Prince William: Prince Philip is doing 'OK' in hospital