Vil det være mest korrekt at benytte både det danske og det grønlandske flag, når Arktisk Kommando sejler rundt i grønlandsk farvand?