Red tide lighting up the San Diego coast