A Note on Adversarial Online Complexity in Security Proofs of Duplex-Based Authenticated Encryption Modes