[tz] [PATCH] Update Bahrain as per article in The National

[Paul Eggert]

On 7/25/20 1:36 PM, Aaron Brown wrote:
> "At the time [referring to 1944], other
> time zones in the Arabian Gulf included Basra (Iraq) GMT +3 and Jiwani
> (Oman) at GMT +6.5"

For what it's worth, a letter dated 1943-11-01 from E.N. Chase, station 
superintendant for BOAC at Bahrain, said that Jiwani was 6 hours ahead of GMT 
then whereas Karachi was 6½ hours. See page 86 of "File 16/53 Enquiries Re: 
Calculation of Local Time", British Library: India Office Records and Private 
Papers, IOR/R/15/2/1564, in Qatar Digital Library 
<https://www.qdl.qa/archive/81055/vdc_100000000282.0x00012b>.

No doubt Chase was referring to the time at Jiwani Airport, which was I believe 
operated by the Royal Air Force at the time. It is curious that Jiwani Airport 
would have disagreed with India but perhaps 6.5 hours was a half-hour too far.