a place where ships are built or repaired