Lian Yunzhi of China solved five Rubik’s Cubes in an average of 4.27 seconds at a World Cube Association-certified competition last week.

The Associated Press’s guidance says President Donald Trump’s executive order affects only how the U.S. government refers to the lake, not Canada or other countries.