Were the dinosaurs killed during the flood of Noah?