docks—platforms or areas by the water where ships load, unload, or are tied up