Arabic document from 17th-cent. rubbish heap confirms semi-legendary Nubian king