That fruit your kids were eating is called guinep or Spanish lime. They are now in season and are loved by the locals almost as much as mangoes. For more info, go here: https://en.wikipedia.org/wiki/Melicoccus_bijugatus