ok, i've checked myself, local getinfo actually gives these right now, they're definitely alive:
80.90.224.117:8833
217.73.85.179:8833
Actual active nodes:
addnode=35.177.255.125:8833
addnode=35.176.43.173:8833
addnode=80.90.224.117:8833
addnode=217.73.85.179:8833
addnode=45.76.92.122:8833
Explorer In Maintenance for date 09/17/2018
http://node1.exip.net:82/explorer/?page=peers