Кто и когда назвал древний океан Мировией?

Мировия - это гипотетический суперокеан, который когда-то окружал также гипотетический (но весьма вероятный) суперконтинент Родинию. И как название "Родиния" (от русского "родина"), так и название "Мировия" (от русского "мировой", то есть глобальный) придумали в 1990 году американские геологи Диана МакМенамин и Марк МакМенамин (McMenamin).