TV / Movies: who played opposite dean martin in rio grande