Located in a shipyard to the southeast corner of San Francisco, the USS Mahan was a "Farragut"-class guided missile destroyer that was launched on what date?