Give Trump credit where it’s due