It was a typical Monday morning for John, a system administrator at a large corporation. He had been tasked with setting up a new server for a critical business application, and he knew that the best operating system for the job was Red Hat Enterprise Linux (RHEL). Specifically, he needed to download the RHEL 7.3 ISO file to create a bootable installation media.