Navy yard

noun a yard where naval vessels are built or repaired