fictional underwater vehicle in the 2012–2017 animated Teenage Mutant Ninja Turtles television series