Maduro had to go, but Trump should heed lessons of past