Encinitas Sheriff’s station launches new tip line