Dinosaur expert finally settles the age-old debate of how to pronounce ‘diplodocus’