That will be "May Day."
You got that right!! He’ll change our national anthem to the “internationale”.