4 K high frequency pulse tube cryocooler used for terahertz space application