import datetime



def get_current_time():
    """
    Returns the current time in the format: HH:MM:SS
    """
    # NOTE: I can perhaps modify what "now" is to instead be at a past F1 
    # race when testing real-time tools
    return datetime.datetime.now().strftime("%H:%M:%S")