A Naval Biographical Dictionary/King, John