Of course. But what did Trump decide to do?