Ah, the second option would make sense, as I have terrible WiFi. I switched to ethernet and the download finished fine. Thanks for letting me know about this, I'll be sure to use ethernet when downloading large games.
