US provided intelligence to Mexico in operation that killed cartel leader 'El Mencho': White House