Shark attacks 4 beachgoers on South Padre Island on July 4, Texas game warden says