MantaDroid is "an aquatic robot that emulates the swimming locomotion of manta rays"