Quaternionic de Branges Spaces and Characteristic Operator Function