What happens at about 5 am Eastern every third Friday of the month? Does the FTSE have options expiration? And does the LSE halt trading for about a 15 minute period?