In terms of GDP, Which one of the following is the 2nd largest economy ?