William Duke of Edinburgh ‘OK’ in hospital