The federal government renamed the Gulf, but local signs, maps and Marco Island's own website still show the old name.