That or he could sign the current bill, or the Senate could pass AOC's $2000 amendment. The former seems much more likely.