Four shark encounters off Texas island as beachgoers celebrate July 4th