Text this: Congenital right ventricular diverticulum: An atypical presentation