Unknown File Encoding

In the first lesson #5 Creating Databases (2:18)

When you open the SQL Course Materials Zip you get the message below. Does anyone know what the Character Set Encoding Name needs to be changed to?

You can’t open a zip file in MySQL Workbench. Unzip it first and open the extracted sql files.