how the District’s investment in RFK compares to other investments in the mayor’s proposed Capital budget