Game Notes: Washington Nationals vs. Miami Marlins (April 13, 2025)