I'd say, we should keep the navigation in the preferred language of the user (in order as Til suggested). But you should have the possibility as a community admin to force the navigation to be in the communities language (opt-in), if the admin thinks there is a special reason for it.