navigator: use different param names for mission and RTL