Washington National Opera presents The Flying Dutchman