What kind of shark is this? And what might have happened to its dorsal fin?

This was 50 miles offshore off the coast of Venice, Florida in the Gulf of Mexico.

It looked to be about 7 feet and seemed to weigh around 150 pounds. That’s what my dad guessed anyway and he fishes quite a lot!