The FTSE 100 had hit a record high by the afternoon on Tuesday, while European stocks were mixed as traders digest the latest ...