Three Dallas Mavericks rotation players remained in Denver when the team returned from its trip after one of them tested positive for COVID-19, sources confirmed to ESPN.

Point guard Jalen Brunson, forward Dorian Finney-Smith and shooting guard Josh Richardson are listed as out for Saturday's home game against the Orlando Magic due to the NBA's health and safety protocols.

The Athletic was first to report the positive test.

The injury report does not specify which of the players tested positive. The other two are sidelined due to contact tracing, which requires players to quarantine for seven days before being cleared to return if they continue to test negative for the coronavirus, meaning they will miss a minimum of three games.

All three of the players played extensive minutes in Thursday's overtime win over the Denver Nuggets. Richardson and Finney-Smith, both starters, played 41 and 36 minutes, respectively. Brunson played 19 minutes off the bench.

Reserve guard Trey Burke did not travel to Denver due to an illness, but that was not related to COVID-19, according to coach Rick Carlisle.