Original: As of the 2000 census , the city of Gulfport had a total population of 71,127 , but the population had decreased to 70,055 by the 2008 Census Estimate .
Simplified: Gulfport is the east coast home to the US Navy Seabees , and also the birthplace of American football player Brett Favre .