Instruct: What kind of Launched has a Homeport (as of July 2013) of sold to chile, and a Pennant number of f80?
Output: SELECT Launched FROM table WHERE Homeport (as of July 2013) = sold to chile AND Pennant number = f80