The attack happened near the Camping on the Gulf Holiday Travel Park, about 45 miles east of Pensacola on the Florida Panhandle. Patrick O'Neill, the campground's general manager, refused to comment.

Google Maps began the process of changing the name of the Gulf of Mexico to the Gulf of America after a recent executive order signed by President Donald Trump made the name change official.

The Gulf of Guinea, which stretches from Senegal to Angola, has become a major hotspot of piracy in recent years. This has had a significant impact on maritime trade and regional security. Monday ...