On the Optimal Structure of Watermark Decoders Under Desynchronization Attacks