There's at least a couple on the map, e.g. https://en.wikipedia.org/wiki/Chapultepec_Castle
That one you linked definitely merits inclsion, tho. Had never heard of it. Thanks.
Edit: Or maybe not: apparently it's not considered a castle, despite the name.