U.S. names newest warship for Navy SEAL