A Naval Biographical Dictionary/Reynolds, John