Strong winds and currents trigger double red flags at Pensacola Beach on Wednesday. What is the beach flag color today?