A Naval Biographical Dictionary/Vignoles, John