Public facilities. Public facilities include municipal, county, port authority, State and Federal marinas, docks, etc., operated by those agencies.