By the way, the latest versions of iOS allow a user to create an arbitrary-length password, not just a four-letter PIN. If the iPhone 5C in question is protected with that kind of password, and the password is reasonably strong, the government will probably be unable to unlock it in any case.