Was US Renton renamed? Or is it down?

Thanks!

I assume “US West Coast” is the Renton server; and I think it may have been wiped since the last time it was named that. Not quite sure.