A Naval Biographical Dictionary/King, Henry (b)