குடியரசுக் கட்டடம், இலங்கை