Dinosaur ocean acidification