Does it matter what Trump twits? Nobody takes Trump seriously. Everything he announces on Twitter is widely ignored by all but his most myopic supporters, and will be erased, reversed and forgotten in a few years. I doubt the US Military will actually enact the ban - it will cost far more than leaving the status quo.