Was there a shark attack in Pensacola Florida?

There was at least one reported shark attack off the coast of Pensacola Florida Beach on Thursday, August 4., 2022.

There are few details regarding when exactly the attack occured that day or the condition of the individual.