The Obama family is getting the swimming pool it greatly deserves