Original: According to the United States Census Bureau , the city has a total area of 9.9 km ( 3.8 mi ) .
Simplified: Gulfport is a city of Florida in the United States .