Of the US states that border Mexico, which shares the shortest border?