A Naval Biographical Dictionary/King, Richard Henry