Mexican Executive decree of January 17, 1920, enabling oil companies to acquire provisional drilling permits—Decree of March 12 and circular of April 21, governing oil development in the Federal zones—Continued acceptance by the Mexican authorities of denouncements made by third parties upon the properties of American companies—Informal representations by the United States