What kind of fish is this?

Just saw at least 5 of these in the Miami Beach marina, I thought they were dolphins based on their size but looking back at the videos I’m not so sure (can’t include the video here so here’s a screenshot). They were also hopping out of the water just like dolphins and I don’t know of other fish this size that would do that.

Also, if these large fish get in to the marina, are they also able to get out easily? I worry about them getting hit by boats