300 million-year-old “Godzilla shark” is now officially named Hoffman's Dragon Shark