in case anyone needs the immortalized soundbite of Trump calling Putin a “better leader” than Obama