#1 is the most likely. If it ever really gets going, it'll take years because it's an almost imposible feat of logistics, labor and red tape. Trump will be gone either this year or the next and even if his successor has only a single ounce of common sense and rationality the project will be trashed.
__________________
|