Case study of finite-element-analysis-based machining of forging defect in subsea ball valve Article in Safety in Extreme Environments (March 2023)