Существование какого острова было вначале предсказано теоретически, а затем подтверждено экспедицией?