Nominal GCC GDP hits record high