. . . . "Tunnel documented by the Historic American Engineering Record in Utah" .