Segundo fontes, os Dolphins demitiram Mike McDaniel.