A Naval Biographical Dictionary/Richards, John