Does every recursively enumerable set admit a finite-fold Diophantine representation?