How large is the shipyard where the USS Mahan was built ?