The term "radar", of American origin, coined in 1941, replaced the British abbreviation "RDF" which stood for "Radio Direction Finding". What does "radar" stand for?