Student helps discover 65 million-year-old Triceratops skull