CREATE TABLE table_name_15 (height INTEGER, position VARCHAR(255))
What is the height of the person whose position is Libero?
    
SQL: SELECT MAX(height) FROM table_name_15 WHERE position = "libero"