RIP Mike McDaniel (according to his Wikipedia page) : r/miamidolphins
Andrew Van Ginkel - Wikipedia
Miami Orange Bowl - Wikipedia
Matt Moore (American football) - Wikiwand
List of Miami Dolphins head coaches - Wikiwand
Miami Dolphins, American Football Wiki
Miami Dolphins - Wikipedia