The first r/baseball post with a title containing "Juan Soto" (2/5/18) is a trade rumor in which many comments question the Nationals for declining to include Soto in a trade for JT Realmuto