searching for .gov reveals 0 matches... doubt
1. Quite a few websites in the search results where just on HTTP
2. The .gov sites do use public certificate authorities like digicert, verisign, amazon & letencrypt so they would have been captured unless they are removed explicitly
And yes the domain registration would not include subdomains
manchester.gov.uk uses LE
.gov isn't magically any more able to take you to court than a private org