Casemiro: Can Manchester United still trigger the CDM’s one-year contract extension clause if they want?