That is a correct assessment of what the endpoint’s for, but we don’t appear to be having a problem serving that URL, and don’t have any reported outages for 13 hours ago - though, a 4xx error for it would be weird for a network issue or outage; you’d normally get a connection refused or a bad gateway.
404 suggests to me you may be hitting the wrong domain - that request would be correctly done on the api.cesium.com domain, not ion.cesium.com.