Hooray! The recipe at [20.04] VMware Workstation/Player fails to build kernel modules VMMON & VMNET still works.
For the current 16.2.4 version of VMware Player, the file you want is https://github.com/mkubecek/vmware-host-modules/archive/player-16.2.4.tar.gz