Wikipedia's article on plantains lists Colombia as among the nations where plantains prepared in the described manner are called 'patacones', but also shows that a citation is needed for this claim.

I am of the opinion that 'patacones' are assuredly on restaurant menus in Bogota, and that they are the item in question.

Colombians... if you share this opinion, please ask your Ministry of Culture to clarify this matter for Wikipedia.

en.wikipedia.org/wiki/Plantain

Gracias.