A Naval Biographical Dictionary/Stephens, Thomas