Home » One less crypto-friendly candidate — Miami mayor ends US presidential run