A Naval Biographical Dictionary/Rivers, William Thomas