According to the alert, the download was blocked so you won't find it on the user's machine.
However I'd be more concerned about whatever other malware is triggering the download.
As @PhilipDAth mentioned, safest method is to wipe and rebuild the device. If you don't want to go down that path, at the very least ensure you've done a deep scan with an antivirus/anti-malware or EDR software.