Trump and the Honduras election: How unusual is it for a US president to intervene this explicitly?