A facility for servicing, building, or repairing ships.(Wikipedia)