Targeting Iranian energy facilities is a proportionate response to attacks on commercial shipping