Which city in the U.S. has the longest formal name, but the shortest abbreviated name?
