Shrimp fisherman catches rare goblin shark off the Florida coast: “Man, he’s ugly”