What to know about the 'red tide' hitting Florida beaches
Briefly