A Naval Biographical Dictionary/Briggs, Thomas