I see your point about the loadedness of the word “ban,” but I think it’s not inaccurate as a description of a forward-looking prohibition. Once there are actual same-sex marriages, however, I think we can look forward to commentary that has the president “forcing gays to divorce.” Which will not be totally inaccurate, either, just loaded.