Pinellas Co. gets $3 million more for red tide cleanup