A new pool house for D.R. Horton Admiral’s Quarters.