This command switches off the named stopwatch page timer and
writes an "end page timer" record in the statistics log, even if
the page timer is already switched off.
A stopwatch timer is switched on by the START PAGE TIMER
command.