Enormous skull of 200-million-year-old giant dinosaur discovered in China