If you do this a lot, you can include the GSSAPIAuthentication and GSSAPIDelegateCredentials options in your ~/.ssh/config file. But you should not turn on GSSAPIDelegateCredentials for arbitrary hosts. Make sure you only enable it for HCoop hosts! You should never, ever use GSSAPIDelegateCredentials on a machine which is operated by somebody other than yourself and HCoop.
Here is an example entry for ~/.ssh/config:
Host hcoop HostName ssh.hcoop.net GSSAPIAuthentication yes GSSAPIDelegateCredentials yes GSSAPITrustDNS yes User fred
This will allow you to type the following, instead of the longer command above.
ssh hcoop