Military people whose highest rank is/was that of colonel.