Nine killed in Sri Lanka as top Tiger buried