在北京境内的五大水库中，总容量小的水库是（）。