As we endeavor to be precise, Washington time of the attack was 3:30 p.m. Eastern Daylight Time, not standard.
Noted. Thanks.
EDT, you are absolutely correct. Duly noted.
Once DC “falls back” to EST, the difference in time would be 7 hours (Libya would be ahead) unless Libya “falls back” as well which I highly doubt.