new mgm casino in washington dc casino vs sheraton vs dot