Trump would certainly be happy