Descubren un reptil que dominó los océanos hace 250 millones de años