Are these the ones that were closed? And what time of day was it, anyway?
Oops; omitted the link:
http://washington.org/DC-faqs-for-visitors/where-can-i-find-public-restrooms-national-mall