Which type of irony would suit this question? “A marriage counselor filed for a divorce”