Shark attacks along Texas coast prompt Coast Guard warning