Email Record: [Executive order on pay of Navy machinists, water tenders, oilers, and writers, with data].