A Naval Biographical Dictionary/Miller, Thomas