president , general Porfirio Diaz.