A Naval Biographical Dictionary/Stone, John