A Naval Biographical Dictionary/Pike, Thomas