Не удается загрузиться в macOS после попытки удалить раздел Ubuntu

Проблема + фон

У меня Ubuntu 18.04 с двойной загрузкой на моем MacBook Pro 15 2015 года. Я попытался удалить раздел Ubuntu с помощью Дисковой утилиты, но это не удалось («внутренняя ошибка»). После перезагрузки я вижу единственный вариант загрузки (удерживая клавишу Option) Это загрузка EFI. Я могу загрузиться в Ubuntu, но macOS недоступен. Я хочу восстановить возможность загрузки в macOS.

Вещи, которые я пробовал

1. Сброс SMC и NVRAM: нет эффекта
2. Восстановление через Интернет: когда мне предлагают выбрать диск для установки, он не показывает дисков
3. Первая помощь Дисковой утилиты: проверки работоспособности проходят на внутреннем диске
4. Режим назначения диска Thunderbolt: входит в режим диска, но не отображается на другом подключенном ноутбуке

Диагностический вывод

diskutil list:

/dev/disk0 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: GUID_partition_scheme +2.1 GB disk0 1: Apple_HFS OS X Base System 2.0 GB disk0s1  /dev/disk1 (internal, physical): #: TYPE NAME SIZE IDENTIFIER 0: GUID_partition_scheme *251.0 GB disk1 1: EFI EFI 209.7 MB disk1s1 2: FFFFFFFF-FFFF-FFFF-FFFF-FFFFFFFFFFFF 200.8 GB disk1s2 3: Linux Filesystem 33.6 GB disk1s3 4: Linux Filesystem 16.4 GB disk1s4  /dev/disk2 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +5.2 MB disk2  /dev/disk3 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk3  /dev/disk4 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk4  /dev/disk5 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk5  /dev/disk6 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +2.1 MB disk6  /dev/disk7 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk7  /dev/disk8 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk8  /dev/disk9 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +12.6 MB disk9  /dev/disk10 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +4.2 MB disk10  /dev/disk11 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +1.0 MB disk11  /dev/disk12 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +2.1 MB disk12  /dev/disk13 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk13  /dev/disk14 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk14  /dev/disk15 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +1.0 MB disk15  /dev/disk16 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +6.3 MB disk16  /dev/disk17 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +6.3 MB disk17  /dev/disk18 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +524.3 KB disk18  /dev/disk19 (disk image): #: TYPE NAME SIZE IDENTIFIER 0: untitled +2.1 MB disk19