A Naval Biographical Dictionary/Wall, Allen