New Mexico's 'Godzilla Shark' gets a new name