What is the name of the highest mountain?
CREATE TABLE climber (
    climber_id number,
    name text,
    country text,
    time text,
    points number,
    mountain_id number
)

CREATE TABLE mountain (
    mountain_id number,
    name text,
    height number,
    prominence number,
    range text,
    country text
)
SELECT name FROM mountain ORDER BY height DESC LIMIT 1
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the name of the highest mountain? ### Input: CREATE TABLE climber (
    climber_id number,
    name text,
    country text,
    time text,
    points number,
    mountain_id number
)

CREATE TABLE mountain (
    mountain_id number,
    name text,
    height number,
    prominence number,
    range text,
    country text
) ### Response: SELECT name FROM mountain ORDER BY height DESC LIMIT 1