*Prague international airport bears Havel's name