*Comment – even if certain government publications have a weird style, the WP style would be to use an en dash.  If we're not going to do that, then it hardly matters which of two strangely wrong-looking punctuations we pick.