The rebuilding Miami Marlins have declined their $16 million option on infielder Starlin Castro for 2020 and will pay him a $1 million buyout, allowing him to become a free agent. Castro had a career-high 22 homers this season.