Record petroleum exports help to shrink US trade deficit in April