Is the City of Key West in compliance with the State of Florida lease for the Key West Bight Marina?