Diocese of Western Michigan Cathedral for sale.

Am I the only one that sees a dark irony in that the Cathedral is called “Christ the King”?