Weak US dollar means big jump in Panama gasoline prices