A user on a shared Windows 10 Pro workstation wants to protect a single sensitive spreadsheet so that other standard users who log into the same PC cannot open it, even though they can browse to the folder. The drive is not encrypted with BitLocker and the company does not want to encrypt the whole volume. Which built-in Windows feature should the technician use to encrypt just that file?