Karol Masny (generał)