'Terminal High Altitude Area Defense (THAAD)', occasionally in the news, refers to which one of the following?