Migrating Windows virtual machines to OpenShift Virtualization on Red Hat OpenShift Service on AWS