Is the Honduran Lake Yojoa deeper on average than Antartica's Lake Vanda?