A place where ships are built and repaired