An efficient, high-power F2 laser near 157 nm