I don’t know is it has another name ,but George Weigel’s bio of John Paul calls it the Ark church.
You could be right, although I have viewed RC churches to either have names of the Trinity,BVM, or of saints. But that is just me.