Category:Public high schools in Washington, D.C.