Ireland gets a National Timing Grid to prevent GPS spoofing