Below is a link to The District Weekly Bulletin from April 29. This has very definitive information on what will be open and what rules are for use. Don't see anything about requiring wearing face masks. The District.gov site has this information also. I would think that would be the best place for information.
Note: not all pools will be open. Only a select few neighborhood pools will be open. My take is that is because of size of pool area.
https://www.districtgov.org/PDFView/...20200429001301