Did the world’s best-preserved dinosaurs really die in ‘Pompeii-type’ events?