Somehow that video can't be played on my Android 9 phone. (Yes, I wish the manufacturer kept updating it for a longer period.) I can download the video, and I can play it on VLC (because VLC can play anything), but something about the video encoding makes the native player to just give up.