add Puerto Rico to US list of area codes