Shark Attacks 4 Texas Beachgoers on Fourth of July, with Report of 1 Suffering 'Severe' Bite