San Diego ocean-focused startups are making waves.