Milwaukee Bucks resmi tunjuk John Horst sebagai general manajer.