Per the pool, the White House is banning staff and guests from using their personal phones in the West Wing starting next week. Does that include Trump’s?