Have Antillean manatees crossed the Panama Canal?

Over half a century ago, a group of manatees from Bocas del Toro was flown into the artificial Gatun Lake to control the abundance of aquatic plants and for public health reasons. Where are they now?