Texas was deluged by deadly flash floods on July 4.