A technician needs to format a new 4 TB external drive that will be used only on Windows workstations. The user wants the ability to store single video files larger than 40 GB and needs support for file-level permissions and journaling. Which file system should the technician choose?