A Naval Biographical Dictionary/King, James