Marlins’ Dee Gordon traded to Mariners for 3 prospects