How can I factory-restore a Samsung J5 (2015) SM-500FN?
A friendly forum user pointed me to this updated version of TWRP which I could install using the already installed TWRP. 

After upgrading the TWRP itself, I was then able to install the ROM I wanted. Problem solved!