Need help understanding Vagrantfile syntax and box URL reference

Vagrant
1

Here is my Vagrantfile:

Vagrant.configure("2") do |config|
  config.vm.provider "vmware_desktop"
  config.vm.box = "generic/rocky9"
  config.vm.box_url = "https://dl.rockylinux.org/vault/rocky/9.4/images/x86_64/Rocky-9-Vagrant-VMware.latest.x86_64.box"
end

When I ‘vagrant up’ I get

Bringing machine 'default' up with 'vmware_desktop' provider...
==> default: Cloning VMware VM: 'generic/rocky9'. This can take some time...
An error occurred while executing `vmrun`, a utility for controlling
VMware machines. The command and output are below:

Command: ["-T", "ws", "snapshot", "C:\\Users\\ctaylor\\.vagrant.d\\boxes\\generic-VAGRANTSLASH-rocky9\\0\\vmware_desktop\\Rocky-9-Vagrant-VMware-9.4-20240523.0.x86_64.vmx", "55293500-7a86-4c3e-98ce-ae33f147694c", {:notify=>[:stdout, :stderr]}]

Stdout: Error: A file was not found

Stderr:

What am I doing wrong?