Это разновидность гало, который также называют окологоризонтальной дугой.