CREATE TABLE table_name_80 (round INT, location VARCHAR, event VARCHAR)

What is the highest round in the Wec 25 match in Las Vegas, Nevada, United States?
SELECT MAX(round) FROM table_name_80 WHERE location = "las vegas, nevada, united states" AND event = "wec 25"
SELECT MAX("round") FROM "table_name_80" WHERE "event" = "wec 25" AND "las vegas, nevada, united states" = "location"