Marlins Designate Veteran Reliever for Assignment

The Miami Marlins have made a roster move, as they have designated relief pitcher John King for assignment.