Trump gets his wall