The website, which is provided by the Texas General Land Office, flags beaches with green, yellow or red pins to indicate ...