Text this: [Executive order on pay bonus for Navy enlisted men rated as gunners or holding certificates from Petty Officers' School of Instruction].