While there’s been no recent clarity on where free agent superstar Bryce Harper might be headed next spring, Ken Rosenthal of The Athletic reports that the Astros came very close to completing a trade for the slugger at the non-waiver deadline in July.

According to Rosenthal’s column (subscription required), Houston had offered their eighth-best prospect, right-hander J.B. Bukauskas, and two minor-league players in exchange for Harper’s services. Although the terms of the trade were worked out by July 30, Nationals’ ownership ultimately nixed the deal in the hopes that the team would close the 5.5-game gap at the top of the division and make another postseason run, hopes that were subsequently dashed by the Braves’ late-season surge to their 18th division title.

Following the club’s second-place finish in the NL East, Harper declined the Nationals’ proposed 10-year, $300 million extension. He’s all but guaranteed to decline their one-year, $17.9 million qualifying offer as well, given the record-breaking contract he’s in line to receive on the open market. Should he latch onto another team, as expected, the Nats will receive a compensatory pick following the fourth round of the 2019 MLB Draft next June.

Even given the 26-year-old’s struggles in 2018, it’s hard not to imagine the impact his .249/.393/.496 batting line, 34 home runs, and 3.5 fWAR could have had on the defending World Champions’ playoff run, especially as they came so close to securing another berth in the Fall Classic last month. There’s still a possibility the Astros could circle back to Harper over the winter, though they’re currently projected to head into the 2019 season with George Springer, Josh Reddick, Tony Kemp, and Jake Marisnick, among a few others.

Harvey, 29, spent 2018 with the Mets and Reds, posting an aggregate 4.94 ERA with a 131/37 K/BB ratio in 155 innings. He started off poorly with the Mets, so they traded him to the Reds in early May. He pitched much better in Cincinnati.

Harvey should have a spot secured at the back of the Angels’ rotation, but health and performance can always change that leading up to Opening Day.