A Naval Biographical Dictionary/Willison, John