A Naval Biographical Dictionary/Thomson, Robert Kennedy