re: #148 reine.de.tout
I think that might be “National Palace”? If so, then I would think it’s one or the other that you mentioned.
It’s gone.