Few interesting things about that file:

- that video has a higher bitrate -- ffprobe shows 4338 kb/s, which is probably an average value. One of the "regular" MD5-named videos I tried has 2256 kb/s as its bitrate

- the resolution of the file is the same as the regular MD5-encoded filename videos i.e. 1080p

- as the https://news.ycombinator.com/item?id=28448361 comment mentions, it does have WB watermarks

- the Internet Archive grabbed 4 similarly non-MD5-named videos in total:

https://web.archive.org/web/*/https://thechoiceisyours.whati...

(I can't link to the list of files directly because the asterisk in the URL breaks HN formatting -- follow the "Click here to search for all archived pages under" link)

- The 7000k/12000k values in those URLs do correspond to bitrate. The 12000k video (downloadable from the archive.org link above) has an average bitrate of 6131 kb/s. It also has watermarks.