A Naval Biographical Dictionary/Briggs, David