In the 16th Century, Ivan the Great supposedly built a library unlike any other. Centuries later, we're still looking for it underground.