Royal Air Maroc launches non-stop service from Dulles Airport to Casablanca