The New York Mets have traded David Robertson to the Miami Marlins, Ken Rosenthal of The Athletic reported just minutes after the Mets’ 2-1 win over the Washington Nationals Thursday night.

The Mets will receive prospects Marco Vargas and Ronald Hernandez in return, Jon Heyman of the New York Post reported. Vargas and Hernandez — both still teenagers — will be the Mets’ No. 6 and No. 18 prospects, respectively, according to MLB’s rankings. Vargas has an impressive .457 OBP and 38-22 BB-K ratio in the FCL, while Hernandez is batting .298 with a .464 OBP. Baseball Prospectus notes that Vargas was in the conversation for their midseason Top 50 MLB prospects list and that he could be in their Top 101 when it comes out this offseason.

Robertson had been warming up in the bullpen during the Mets’ comeback in the eighth inning on Thursday. But after the game was delayed for over an hour and a half due to rain, Brooks Raley warmed up and entered instead. Adam Ottavino was warming up behind Raley, but the southpaw locked down the final three outs.

Rosenthal tweeted his report approximately two minutes after the completion of the game — giving an immediate answer as to why Robertson wasn’t utilized there.

Gregory Fisher-USA TODAY Sports

Robertson has been one of the best relievers in baseball this season and was expected to be a hot commodity with the Mets in sell mode. The 38-year-old has posted a 2.05 ERA in 44 innings, supported by 9.8 K/9 and 2.7 BB/9. His performance has been particularly vital for this New York team in the wake of Edwin Díaz’s preseason injury.

The Marlins, meanwhile, are one spot ahead of the Mets in third place in the NL East, and only a half-game behind second-place Philadelphia. They’re in the thick of the Wild Card race, also just a half-game out in that department. They’ve struggled as of late, though, going 7-13 in July and 2-8 in their last 10.

The Mets’ bullpen will now be without its best piece for the rest of the season as the trade deadline looms closer. They currently sit at 48-54, seven games out of a Wild Card spot and 17 games out of the first-place Atlanta Braves in the NL East.