Marie in La fille du régiment at Washington National Opera