The International Energy Agency agreed on Thursday to release over 20 million barrels of diesel to the market and any oil remaining from a record emergency reserves release pledged in March to boost supply and cool soaring prices. US President Donald Trump has pressed European Union countries to draw down reserves or face a potential US diesel export ban as he seeks to lower prices ahead of November 3 midterm elections.