Hamas has been warned, and President Trump keeps his word.