What was the average size of a dinosaur and were there dinosaurs on Noah’s ark?