Where do Alex and his family traditionally spend the 4th of July holiday in the novel, Red, White & Royal Blue?

The lake house in Texas is owned by Oscar Diaz, Alex's father, and is where the White House Trio traditionally spend their July 4th holidays.