Thank you everyone for your help! I'm hesitant to say that it's a pride of barbados because the tree in question is very tall (pretty much the same size as a royal poinciana). It definitely is not red horse chestnut because the leaves does not look like that at all. Leaves are similar to royal poinciana. Flowers are bigger but I don't remember how it looked exactly (I mistakenly wrote that the flowers are smaller in my original post). I guess I'll have to wait until next summer to get some good photos of it.