Trump says ISIS ‘got a very bad Christmas present’ after US strikes in Nigeria