General Cocke may refer to: