Fishermen encounter orca off San Diego