Vertebrate evolution has led to the convergent appearance of many groups of originally terrestrial animals that now live in the sea. Among these groups are familiar mammals like whales, dolphins, and seals. There are also reptilian...