Cathedral Station was what it was labeled before I decided to try mucking about with it, and it is indeed what is carved into the stone above the entrance. So I left it that way. I did consider whether I ought to change the name to say "USPS Cathedral Station".

Okay, I see that the post office by the Natural History Museum is tagged differently and the USPS logo shows up in its info. Looks like that because it's been tagged with operator= USPS?