US Navy Ship Named After Gay Rights Leader Harvey Milk Is Launched In San Diego Bay